Metadata URI https://plus.google.com/101960478140753398646 AltURIs http://www.ksi.mff.cuni.cz/~necasky